/*
 * Copyright (c) 2023 Huawei Device Co., Ltd.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
/**---
 description: >
  A variable declared with no type annotation and an initial value of [] is considered an implicit any[] variable. 
  However, each subsequent x.push(value), x.unshift(value) or x[n] = value operation evolves the type of the variable 
  in accordance with what elements are added to it.
  This is only enabled if noImplicitAny is set.
 module: ESNext
 isCurrent: true
 ---*/


import { Assert } from '../../../suite/assert.js'

function funcT() {
    let arr = [];
    arr[0] = 0;
    arr.push("true");
    arr.unshift("abc");
    return arr;
}

type newF = ReturnType<typeof funcT>;

let funC: newF = ["hello", 12];
Assert.equal(JSON.stringify(funC), '["hello",12]');
